大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Knowledge Technology [electronic resource] : Third Knowledge Technology Week, KTW 2011, Kajang, Malaysia, July 18-22, 2011. Revised Selected Papers

0
索取号：
作者：Lukose、 Dickson.、Ahmad、 Abdul Rahim.、Suliman、 Azizah.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

VLSI-SoC: Advanced Research for Systems on Chip [electronic resource] : 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

0
索取号：
作者：Mir、 Salvador.、Tsui、 Chi-Ying.、Reis、 Ricardo.、Choy、 Oliver C. S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Bio-Inspired Models of Networks, Information, and Computing Systems [electronic resource] : 6th International ICST Conference, BIONETICS 2011, York, UK, December 5-6, 2011, Revised Selected Papers

0
索取号：
作者：Hart、 Emma.、Timmis、 Jon.、Mitchell、 Paul.、Nakamo、 Takadash.、Dabiri、 Foad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Uncertainty Quantification in Scientific Computing [electronic resource] : 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

0
索取号：
作者：Dienstfrey、 Andrew M.、Boisvert、 Ronald F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Bio-Inspired Models of Network, Information, and Computing Systems [electronic resource] : 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papers

0
索取号：
作者：Suzuki、 Junichi.、Nakano、 Tadashi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Mathematical Foundations of Computer Science 2012 [electronic resource] : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

0
索取号：
作者：Rovan、 Branislav.、Sassone、 Vladimiro.、Widmayer、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

0
索取号：
作者：Stoelinga、 Mari毛lle.、Pinger、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Foundations of Health Informatics Engineering and Systems [electronic resource] : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

0
索取号：
作者：Liu、 Zhiming.、Wassyng、 Alan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Modeling Time in Computing [electronic resource]

0
索取号：
作者：Furia、 Carlo A.、Mandrioli、 Dino.、Morzenti、 Angelo.、Rossi、 Matteo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Mobile Computing, Applications, and Services [electronic resource] : Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papers

0
索取号：
作者：Zhang、 Joy Ying.、Wilkiewicz、 Jarek.、Nahapetian、 Ani.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Applications of Discrete Geometry and Mathematical Morphology [electronic resource] : First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers

0
索取号：
作者：K枚the、 Ullrich.、Montanvert、 Annick.、Soille、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computing and Combinatorics [electronic resource] : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings

0
索取号：
作者：Gudmundsson、 Joachim.、Mestre、 Juli谩n.、Viglas、 Taso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

0
索取号：
作者：Vidal、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

DNA Computing and Molecular Programming [electronic resource] : 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings

0
索取号：
作者：Stefanovic、 Darko.、Turberfield、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Contemporary Computing [electronic resource] : 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings

0
索取号：
作者：Parashar、 Manish.、Kaushik、 Dinesh.、Rana、 Omer F.、Samtaney、 Ravi.、Yang、 Yuanyuan.、Zomaya、 Albert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Rough Sets and Current Trends in Computing [electronic resource] : 8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012.Proceedings

0
索取号：
作者：Yao、 JingTao.、Yang、 Yan.、S艂owi艅ski、 Roman.、Greco、 Salvatore.、Li、 Huaxiong.、Mitra、 Sushmita.、Polkowski、 Lech.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.